Sysml Knowledge base for Designing Dependable Complex System

نویسندگان

  • Romaric Guillerm
  • Hamid Demmou
  • Nabil Sadou
چکیده

Résumé Le travail présenté dans cet article s’inscrit dans la proposition d’un cadre de conception des systèmes complexes aussi complet et rigoureux que possible. Le cadre méthodologique utilisé est l’Ingénierie Système, qui est une démarche méthodologique pour maîtriser la conception des systèmes et produits complexes. Les pratiques de cette démarche sont aujourd’hui répertoriées dans des normes, réalisées à l’aide de méthodes et supportées par des outils. Dans notre cas, la norme EIA-632 a été adoptée. Plus particulièrement, nous nous préoccupons de la sûreté de fonctionnement de ces systèmes complexes. C’est d’ailleurs sur la base de faiblesses des processus actuels traitant de la sûreté que nous avons défini une démarche globale. Cette approche intègre la prise en compte de la sûreté dans les processus d’ingénierie système. Le travail illustré dans cet article vient appuyer et compléter cette démarche globale : il s’agit de la proposition d’un modèle d’information, basé sur le langage SysML, permettant la gestion des exigences, dont les exigences de sûreté.

برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

منابع مشابه

Unifying SysML and OWL

To use OWL2 for modeling a system design one must be able to construct a Knowledge Base (KB) that can represent detailed information such as the number of occurrences of a part and interconnections between parts. SysML Block Diagrams (BD) have sufficient expressiveness to represent detailed designs. Suitably restricted SysML block diagrams can be translated into OWL2 to achieve the same result....

متن کامل

Simulation-Based Design Using SysML - Part 1: A Parametrics Primer

Abstract. OMG SysMLTM is a modeling language for specifying, analyzing, designing, and verifying complex systems. It is a general-purpose graphical modeling language with computer-sensible semantics. This Part 1 paper and its Part 2 companion show how SysML supports simulation-based design (SBD) via tutorial-like examples. Our target audience is end users wanting to learn about SysML parametric...

متن کامل

SysML Extension for Dynamical System Simulation Tools

Computer-interpretable representations of system structure and behavior are at the center of designing today’s complex systems. Engineers create and review such representations using graphical modeling languages that support specification, analysis, design, verification and validation of systems that include hardware, software, data, personnel, procedures, and facilities, in particular the Syst...

متن کامل

A Formal Universal Systems Semantics for SysML

OMG SysML1 is a general purpose systems modeling language adopted by OMG in May, 2006. Used for specifying, analyzing, designing, and verifying complex systems; it provides graphical representations with a semantic foundation for modeling system requirements, behavior, structure, and integration with a broad range of engineering analysis. SysML represents a subset of UML2 with extensions needed...

متن کامل

Towards the Integration of Safety Analysis in a Model-Based System Engineering Approach with SysML

Mechatronic systems are complex systems involving knowledge from various disciplines such as computer science, mechanics, electronics and control. Model-based system engineering is an efficient approach to cope with the increasing system complexity. It covers specifying, designing, simulating and validating systems and is very useful for the design of complex systems since it helps better manag...

متن کامل

ذخیره در منابع من


  با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید

برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

عنوان ژورنال:
  • CoRR

دوره abs/1212.4246  شماره 

صفحات  -

تاریخ انتشار 2012